Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
An efficient verifier of truly concurrent properties
1995-01-01 Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado
Enhanced Operational Semantics in Systems Biology
2003-01-01 Degano, Pierpaolo; Priami, Corrado
Experimenting with a Context-Aware Language
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Exploiting Adjoints in Property Directed Reachability Analysis
2023-01-01 Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I.
Extending soft arc consistency algorithms to non-invertible semirings
2010-01-01 Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma; Santini, Francesco
Feedbacks and oscillations in the virtual cell VICE
2006-01-01 D., Chiarugi; M., Chinellato; Degano, Pierpaolo; G., LO BRUTTO; Marangoni, Roberto
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
2019-01-01 ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura
Gathering of Asynchronous Oblivious Robots With Limited Visibility
2001-01-01 Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter
Going beyond GDP to nowcast Well-Being using retail market data
2016-01-01 Guidotti, Riccardo; Coscia, Michele; Pedreschi, Dino; Pennacchioli, Diego
Helping your Docker images to spread based on explainable models
2019-01-01 Guidotti, Riccardo; Soldani, Jacopo; Neri, Davide; Brogi, Antonio; Pedreschi, Dino
A high-level model checking language with compile-time pruning of local variables
2016-01-01 Pardini, Giovanni; Milazzo, Paolo
Highlighting some shortcomings of the CoCoA+ congestion control algorithm
2017-01-01 Bolettieri, Simone; Vallati, Carlo; Tanganelli, Giacomo; Mingozzi, Enzo
Industry 4.0 Technologies and Italian Urban System: Between Smart Development and Increasing Inequalities
2022-01-01 Lazzeroni, Michela; Zamperlin, Paola
Lightweight data indexing and compression in external memory
2010-01-01 Ferragina, Paolo; Gagie, Travis; Manzini, Giovanni
Modelling Population Dynamics Using Grid Systems
2014-01-01 Barbuti, Roberto; Antonio, Cerone; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Setiawan, Suryana
Nomad: Virtual Environments on P2P Voronoi Overlays
2007-01-01 Ricci, Laura; Salvadori, Andrea
On Evaluating the Performance of Security Protocols
2005-01-01 Bodei, Chiara; Buchholtz, M.; Curti, M.; Degano, Pierpaolo; Nielson, F.; RIIS NIELSON, H.; Priami, Corrado
On the definition of parallel independence in the algebraic approaches to graph transformation
2016-01-01 Corradini, Andrea
Parallel and sequential independence for borrowed contexts
2008-01-01 Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
Parallelism in AGREE transformations
2016-01-01 Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An efficient verifier of truly concurrent properties | 1-gen-1995 | Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado | |
Enhanced Operational Semantics in Systems Biology | 1-gen-2003 | Degano, Pierpaolo; Priami, Corrado | |
Experimenting with a Context-Aware Language | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
Exploiting Adjoints in Property Directed Reachability Analysis | 1-gen-2023 | Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I. | |
Extending soft arc consistency algorithms to non-invertible semirings | 1-gen-2010 | Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma; Santini, Francesco | |
Feedbacks and oscillations in the virtual cell VICE | 1-gen-2006 | D., Chiarugi; M., Chinellato; Degano, Pierpaolo; G., LO BRUTTO; Marangoni, Roberto | |
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday | 1-gen-2019 | ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura | |
Gathering of Asynchronous Oblivious Robots With Limited Visibility | 1-gen-2001 | Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter | |
Going beyond GDP to nowcast Well-Being using retail market data | 1-gen-2016 | Guidotti, Riccardo; Coscia, Michele; Pedreschi, Dino; Pennacchioli, Diego | |
Helping your Docker images to spread based on explainable models | 1-gen-2019 | Guidotti, Riccardo; Soldani, Jacopo; Neri, Davide; Brogi, Antonio; Pedreschi, Dino | |
A high-level model checking language with compile-time pruning of local variables | 1-gen-2016 | Pardini, Giovanni; Milazzo, Paolo | |
Highlighting some shortcomings of the CoCoA+ congestion control algorithm | 1-gen-2017 | Bolettieri, Simone; Vallati, Carlo; Tanganelli, Giacomo; Mingozzi, Enzo | |
Industry 4.0 Technologies and Italian Urban System: Between Smart Development and Increasing Inequalities | 1-gen-2022 | Lazzeroni, Michela; Zamperlin, Paola | |
Lightweight data indexing and compression in external memory | 1-gen-2010 | Ferragina, Paolo; Gagie, Travis; Manzini, Giovanni | |
Modelling Population Dynamics Using Grid Systems | 1-gen-2014 | Barbuti, Roberto; Antonio, Cerone; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Setiawan, Suryana | |
Nomad: Virtual Environments on P2P Voronoi Overlays | 1-gen-2007 | Ricci, Laura; Salvadori, Andrea | |
On Evaluating the Performance of Security Protocols | 1-gen-2005 | Bodei, Chiara; Buchholtz, M.; Curti, M.; Degano, Pierpaolo; Nielson, F.; RIIS NIELSON, H.; Priami, Corrado | |
On the definition of parallel independence in the algebraic approaches to graph transformation | 1-gen-2016 | Corradini, Andrea | |
Parallel and sequential independence for borrowed contexts | 1-gen-2008 | Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias | |
Parallelism in AGREE transformations | 1-gen-2016 | Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile